equivalent categories

[计] 等价范畴